Higher-dimensional Auslander–Reiten theory on (<i>d</i>+2)-angulated categories
نویسندگان
چکیده
Abstract Let $\mathscr{C}$ be a $(d+2)$ -angulated category with d -suspension functor $\Sigma^d$ . Our main results show that every Serre on is functor. We also has $\mathbb{S}$ if and only Auslander–Reiten -angles. Moreover, $\tau_d=\mathbb{S}\Sigma^{-d}$ where $\tau_d$ -Auslander–Reiten translation. These generalize work by Bondal–Kapranov Reiten–Van den Bergh. As an application, we prove for strongly functorially finite subcategory $\mathscr{X}$ of , the quotient $\mathscr{C}/\mathscr{X}$ $(\mathscr{C},\mathscr{C})$ -mutation pair, $\tau_d\mathscr{X} =\mathscr{X}$
منابع مشابه
The axioms for n-angulated categories
Triangulated categories were introduced independently in algebraic geometry by Verdier [7, 8], based on ideas of Grothendieck, and in algebraic topology by Puppe [6]. These constructions have since played a crucial role in representation theory, algebraic geometry, commutative algebra, algebraic topology and other areas of mathematics (and even theoretical physics). Recently, Geiss, Keller and ...
متن کاملHigher Dimensional Categories: Model Categories and Weak Factorisation Systems
Loosely speaking, “homotopy theory” is a perspective which treats objects as equivalent if they have the same “shape” which, for a category theorist, occurs when there exists a certain class W of morphisms that one would like to invert, but which are not in fact isomorphisms. Model categories provide a setting in which one can do “abstract homotopy theory” in subjects far removed from the origi...
متن کاملCubical Categories for Higher-Dimensional Parametricity
Reynolds’ theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds’ theory can be seen as the instantiation at dimension 1 of a theory of relational parametricity for System F that holds at all higher dimensions, including i...
متن کاملHigher-dimensional categories with finite derivation type
We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalising the one introduced by Squier for word rewriting systems. We characterise this property by using the notion of critical branching. In particular, we define sufficient conditions f...
متن کاملOn the Unicity of the Homotopy Theory of Higher Categories
We propose four axioms that a quasicategory should satisfy to be considered a reasonable homotopy theory of (∞, n)-categories. This axiomatization requires that a homotopy theory of (∞, n)-categories, when equipped with a small amount of extra structure, satisfies a simple, yet surprising, universal property. We further prove that the space of such quasicategories is homotopy equivalent to (RP∞...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Glasgow Mathematical Journal
سال: 2021
ISSN: ['0017-0895', '1469-509X']
DOI: https://doi.org/10.1017/s0017089521000343